package folexpr.compiler.visitors.c_negation;

public class NegReductionVisitParameter
{
	private int notCounter;	
	private boolean dumpFlag = false;
	private boolean cutOperatorsInDisgCongNodeListOptional = false;
	
	//////////////////////////////////////////////////////////////////////////////////////////////////////
	
	public NegReductionVisitParameter(int notCounter , boolean dumpFlag , boolean cutOperatorsInDisgCongNodeListOptional){
		this.notCounter=notCounter;
		this.dumpFlag = dumpFlag;
		this.cutOperatorsInDisgCongNodeListOptional = cutOperatorsInDisgCongNodeListOptional;
	}
	public void incrNotCounter(){
		this.notCounter++;
	}
	
	//////////////////////////////////////////////////////////////////////////////////////////////////////
	
	public int getNotCounter() {
		return notCounter;
	}
	public void setNotCounter(int notCounter) {
		this.notCounter = notCounter;
	}
	public boolean isDumpFlag() {
		return dumpFlag;
	}
	public void setDumpFlag(boolean dumpFlag) {
		this.dumpFlag = dumpFlag;
	}
	public boolean isCutOperatorsInAndOrNodeListOptional() {
		return cutOperatorsInDisgCongNodeListOptional;
	}
	public void setCutOperatorsInDisgCongNodeListOptional(
			boolean cutOperatorsInDisgCongNodeListOptional) {
		this.cutOperatorsInDisgCongNodeListOptional = cutOperatorsInDisgCongNodeListOptional;
	}
}
